Skip to content

Conversation

pm3512
Copy link
Collaborator

@pm3512 pm3512 commented May 8, 2023

PR Summary

Adds documentation for hover

@eslothower eslothower added the documentation Improvements or additions to documentation label May 8, 2023
@eslothower eslothower merged commit 2211b57 into main May 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants